#ifndef __THREAD_SWITCH
#define __THREAD_SWITCH
#include"thread.h"
void switch_to(task_tcb* from,task_tcb* to);
#endif
